Formal Methods in Collaborative Projects
نویسندگان
چکیده
In this paper we address particular aspects of integration of formal methods in large-scale industrial projects, namely collaborative aspects. We review recent works addressing such aspects, identify some current trends and discuss directions for further research.
منابع مشابه
Investigation of the Role of Collaboration Network Between State and Formal Public Institutions in Implementation of Watershed Management Projects and Soil Erosion Decrease Case Study: Berentin-Hormozgan Province
In spite of successfulness of watershed management project, this science could not be able to combat soil erosion lonely and it needs the participation of habitants of watersheds that their livelihood completely depends on sustainable resources. So, this research through analysis of collaboration network between state and formal public institutions in implementation of mechanical and biological...
متن کاملPartnerships in global health and collaborative governance: lessons learnt from the Division of Tropical and Humanitarian Medicine at the Geneva University Hospitals
BACKGROUND In 2007 the "Crisp Report" on international partnerships increased interest in Northern countries on the way their links with Southern partners operated. Since its establishment in 2007 the Division of Tropical and Humanitarian Medicine at the Geneva University Hospitals has developed a variety of partnerships. Frameworks to assess these partnerships are needed and recent attention i...
متن کاملFrom Importer of Knowledge to Researcher of the Self: Exploring the Utility of Collaborative Action Research in Distance Second Language Professional Development
Teacher professional development, as a burgeoning term, has attracted a surge of interest in English language teaching. In second language (L2) professional development, the common orthodoxy has been one which considers teachers as that of knowledge consumers. It is commonly argued that top-down approaches to teachers’ professional development has done little to maximize teachers’ professionali...
متن کاملFormal Methods for Communication Services
We survey formal methods as they are applied to the development of communication services. We report on industrial and academic projects, consider di erent communication architectures and work related to the feature interaction problem. Based on our survey, the results reported in the literature and most importantly, on extensive discussions with industry, we investigate important industrial co...
متن کاملFormal methods for communication services: meeting the industry expectations
We survey formal methods as they are applied to the development of communication services. We report on industrial and academic projects, consider di erent communication architectures and work related to the feature interaction problem. Based on our survey and on extensive discussions with the industry, we investigate important industrial concerns and criticisms about the use of formal methods ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2016